Lang Maria-Katharina, Bauer Stefan (eds.), The Mongolian Collections. Retracing Hans Leder

Stefan Kramer and Neil Lawrence ( Eds . ) Machine Learning in

Variation in human DNA sequences account for a significant amount of genetic risk factors for common disease such as hypertension, diabetes, Alzheimer’s disease, and cancer. Identifying the human sequence variation that makes up the genetic basis of common disease will have a tremendous impact on medicine in many ways. Recent efforts to identify these genetic factors through large scale associa...

The Complexity of Social Norms (Computational Social Sciences) by Maria Xenitidou and Bruce Edmonds (eds.)

This book explores the view that normative behaviour is part of a complex of social mechanisms, processes and narratives that are constantly shifting. From this perspective, norms are not a kind of self-contained social...

Retracing CSP

The original CSP was a language for parallel imperative programs communicating by synchronized message-passing. Most of the early foundational work concerned a more abstract process algebra, now known as Theoretical CSP (or TCSP). The early semantic models involved communication traces, refusals, failures, and divergence traces. These models support compositional reasoning about safety properti...

Coupled Problems in Microsystem Technology Hans - Joachim Bungartz , Stefan Schulte ABCDEFGHIJKLMNO TUM - I 9513 Januar 1995

Retracing the Semantics of CSP

CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The influence of CSP and the closely related process algebra TCSP is widespread. Over the years CSP has been equipped with a series of denotational semantic models, involving notions such as communication traces, failure...